lb  i < ub. E(i) == (*,e) lb  i < ub. E(i) 

latex

---

clarification:

g lb  i < ub. E(i) == (*g,eg) lb  i < ub. E(i) 

latex

Up	groups 1
Wellformedness Lemmas	mon itop wf
Definitions	(op,id) lb  i < ub. E(i), *, e